• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۸۸ پاسخ غیر تکراری از ۲۸۹ پاسخ تکراری در مدت زمان ۱,۱۶ ثانیه یافت شد.

141. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Main...]et al.[ )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
298

142. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses

Classification :
QA
76
.
7
.
M378
1988

143. Mathematical foundations of programming semantics :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.

Classification :
QA76
.
7
M535
1990

144. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Austin Melton

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming

Classification :
QA
76
.
L28
Vol
.
239

145. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Brookes...]et al.[, eds

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
802

146. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Brookes...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
598

147. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Main...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
442

148. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses

Classification :
QA
76
.
7
.
M38
1990

149. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pierre Cointe )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

Classification :
QA
76
.
L28
Vol
.
1616

150. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Akinori Yonezawa, Satoshi Matsuoka )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

Classification :
QA
76
.
L28
Vol
.
2192

151. Methods of algorithmic language implementation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by A. Ershov and C. H. A. Koster

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages

Classification :
QA
76
.
L4
v
.
47

152. Methods of algorithmic language implementation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by A. Ershov and C.H.A. Koster

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages

Classification :
QA
76
.
L28
Vol
.
47

153. Minicomputer software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by James R. Bell and C. Gordon Bell

Library: Library of College of Science University of Tehran (Tehran)

Subject: Minicomputers -- Programming -- Congresses,Programming languages (Electronic computers)

Classification :
QA
76
.
6
.
I177
1975

154. Minicomputer software: proceedings of the IFIP Conference of software for minicomputers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: IFIP Conference on Software for Microccomputers , Keszthely , Hungary, 5791

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: ، Miniatur computers - Programming , Congresses,، Programming languages ) Electronic computers(

Classification :
QA
76
.
6
.
I77
1975

155. Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers : IFIP TC-2 Working Conference on Software for minicomputers, Lake Balaton, Hungary, 8-12 September 1975

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: IFIP Conference on Software for Minicomputers, )5791, Keszthely, Hungary(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Minicomputers-- Programming-- Congresses,، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
I177
1975

156. Minicomputer software,proceedings of the IFIP conference on software for minicomputers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Edited by James R. Bell and C.Gordon Bell

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Miniature computers -- Programming -- Congresses,Programming languages ( Electronic computers) -- Congresses

Classification :
QA76
.
6
I177
1975

157. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Laszlo Boszormenyi, Peter Schojer )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
2789

158. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jurg Gutknecht, Wolfgang Weck )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
1897

159. Modular programming languages : joint Modular Languages Conference, JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hanspeter Mossenbock )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
1204

160. Natural language at the computer: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
N38
.
S38
1988
  • »
  • 15
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival